expanding_array
container.expanding_array
Type Parameters
Fields
the length of the array
Functions
env_vars option (container.Map String String),feed_stdin option io.path,timeout option time.duration
env_vars option (container.Map String String),
feed_stdin option io.path,
timeout option time.duration
execute this Sequence of process+args
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
An expanding array is a persistent data structure that has cumulative O(1)
performance of adding single elements at its end.
WARNING: Due to the high worst-case time for addition, this structure should
not be used in situations when adding a single element repeatedly to the same
instance of `expanding_array`. If the resulting
`expanding_array`'s length is `l`, this will trigger the worst-case
addition time, resulting in cumulative time O(m*l) for adding an element m
times.
This constructor is for internal use only, to create instance of
`expanding_array`, use `(expanding_array T).empty` to create an empty
expanding array instance.